Title	Formal Analysis and Verification of Packet Recovery Protocols for Multicast Video
Author	Muhammad Atif, Nadia Mushtaq, M. Sohaib Mahmood, Muhammad Naeem, Amjad Riaz
Citation	Vol. 18  No. 3  pp. 110-118
Keywords	Multicasting Video/Audio, Formal Specification, Model Checking, Packet Recovery protocol, QoS in Multimedia Transmissions.

Title	Prediction Techniques for Diagnosis of Diabetic Disease: A Comparative Study
Author	Basharat Naqvi, Arshad Ali, Muhammad Adnan Hashmi and Muhammad Atif
Citation	Vol. 18  No. 8  pp. 118-124
Keywords	Decision tree, ID3, diabetic patients, data mining

Title	D2D Communications over κ - ? Shadowed Fading Channels
Author	Zakir Hussain Asim ur Rehman Khan, Haider Mehdi and Syed Muhammad Atif Saleem,
Citation	Vol. 19  No. 12  pp. 1-6
Keywords	Co-channel interference, device-to-device, κ-? shadowed fading, signal-to-interference ratio.

Title	Agile Risk Mitigation Framework
Author	Anum Naz, Ahmad Salman Khan, Muhammad Atif
Citation	Vol. 21  No. 12  pp. 586-596
Keywords	Agile, Risk management, Scrum, Kanban